Prague Gathering of Logicians 2016

All events take place in Villa Lanna (V Sadech 1, Praha 6; map)

Friday, 12 February

10:00: opening
10:10–11:10: Josef Urban; Advances in formal mathematics slides
: coffee break
11:30–12:30: Zdeněk Žabokrtský; To tree or not to tree?
(The quest for sentence structure in natural language processing) slides
: lunch break
14:00–15:00: Jan Krajíček; Hilbert’s problems and contemporary mathematical logic slides
: coffee break
15:30–16:30: Tomáš Jech; Paradoxes, or the art of the impossible slides
16:30–17:00: Šárka Stejskalová; The tree property and the continuum function
: break
19:00–: banquet

10:00–11:00: Štěpán Holub; Solving word equations slides
: coffee break
11:30–12:30: Petr Cintula; Reasoning with graded predicates slides
12:30–13:00: Adam Přenosil; Between two and four values slides
: lunch break
14:30–15:30: Ansten Klev; Identity in Martin-Löf’s type theory slides
: coffee break
16:00–17:00: Wiesław Kubiś; Recent developments in the theory of universal homogeneous structures slides
17:00–17:30: Matěj Dostál; Two-dimensional Birkhoff’s theorem slides